Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
81	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-11-16 04:08:00
82	245 Doc. Math. J. DMV Boolean Localization, in Practice Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2014-07-13 07:29:15 Abstract algebra Algebra Mathematics Homotopy theory Sheaf theory Category theory Functors Algebraic topology Simplicial presheaf Model category Sheaf Simplicial set
83	EULER CHARACTERISTICS OF CATEGORIES AND HOMOTOPY COLIMITS arXiv:1007.3868v2 [math.AT] 20 Oct 2010 ¨ Add to Reading List Source URL: 131.220.77.52 Language: English - Date: 2011-03-02 09:33:04 Topology Mathematics Algebra Algebraic topology Homotopy theory Differential topology Category theory Homological algebra Fibration Euler characteristic Classifying space Resolution
84	177 Documenta Math. Hicas of Length ≤ 4 Vanessa Miemietz and Will Turner Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2010-03-18 12:47:45 Abstract algebra Mathematics Representation theory Lie algebras Operator theory Algebras Quiver Von Neumann algebra Weight Tilting theory Graded ring Highest-weight category
85	Towards a Unified Treatment of Induction (Abstract) Paul Taylor 26 August 1996 induction over the nat-erty of the natural numbers: Mathematical ural numbers has been familiar since Eus Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:24 Mathematical logic Mathematics Set theory Category theory Wellfoundedness Constructible universe Topos Universal property Ordinal number Sheaf Mahlo cardinal Symbol
86	“THE HOMOTOPY TYPE OF THE COBORDISM CATEGORY” PROPOSAL FOR A SEMINAR PROGRAM WINTERSEMESTERThe main aim of the seminar will be to understand the main theorem in [GMTW07] and its proof. Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2007-11-15 04:50:26 Topology Abstract algebra Algebra Algebraic topology Surgery theory Homotopy theory Differential topology Sheaf theory Sheaf Cobordism Differentiable manifold H-cobordism
87	MAT 313/PHI 323, Advanced Logic (actually Category Theory) Professor Hans Halvorson Phone: E-mail: hhalvors (answered in batch-mode once a week) Office: 1879 Hall, Room 220. Office hours TBA. Lectures on Monday, W Add to Reading List Source URL: www.princeton.edu Language: English - Date: 2009-10-07 14:21:05 Mathematics Algebra Abstract algebra Category theory Regular category Sheaf Semantics Jaap Saunders Mac Lane
88	1 Documenta Math. Convexity, Valuations ¨ fer Extensions in Real Algebra Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2005-11-04 17:23:56 Algebra Abstract algebra Mathematics Ring theory Valuation Real closed ring Ring Integral element Subring Commutative ring Associative algebra Category of rings
89	407 Documenta Math. Quotients of MGL, Their Slices and Their Geometric Parts Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2015-07-16 12:25:57 Mathematics Abstract algebra Algebra Homotopy theory Algebraic topology Category theory Functors Model category Simplicial set Algebraic K-theory Cohomology Nerve
90	489 Documenta Math. Motivic Functors ¨ ndigs, Paul Arne Østvær Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-22 11:48:08 Mathematics Abstract algebra Algebra Homotopy theory Category theory Functors Algebraic topology Adjoint functors Model category Simplicial presheaf Bousfield localization Simplicial set

UPDATE